46. A Logical Analysis of Relational Program Correctness
المؤلف: Nikouei, Mohammad
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science
47. A Logical Analysis of Relational Program Correctness
المؤلف: Nikouei, Mohammad
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science
48. Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaint
المؤلف: / by Janusz T. Starczewski
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Computer simulation,Engineering design,Electronic books
رده :
E-BOOK
49. Advances in Computer Systems Architecture (vol. # 3740) :
المؤلف: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
50. Advances in Data Base Theory :
المؤلف: edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science)
رده :
QA76
.
9
.
D35
E358
1981
51. Advances in Database Technology - EDBT '94 :
المؤلف: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
52. Advances in information systems science. Volume 3
المؤلف: edited by Julius T. Tou.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information science.,Information technology.
53. Ambient communications and computer systems :
المؤلف: Gregorio Martinez Perez, Shailesh Tiwari, Munesh C. Trivedi, Krishn K. Mishra, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ambient intelligence, Congresses.,Computer networks, Congresses.,Telecommunication systems, Congresses.,Ambient intelligence.,Computer networks.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication systems.
رده :
TK5101
.
A1
55. Artificial Intelligence in Logic Design
المؤلف: by Svetlana N. Yanushkevich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
56. Automata, languages and programming :
المؤلف: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
59. BL,BL
المؤلف: / Marshall G.S. Hodgson. ,20090530 0
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
60. CAM :
المؤلف: edited by D. Kochan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer-aided design.
رده :
TS155
.
6
E358
1985
